fa91d57804dd90f1fade6a36decc8bdab1a368c8,platform-impl/src/com/intellij/openapi/command/impl/UndoOrRedo.java,UndoOrRedo,getStack,#,273
Before Change
long modificationStamp;
if (docRef instanceof DocumentReferenceByDocument) {
DocumentReferenceByDocument doc = (DocumentReferenceByDocument) docRef;
modificationStamp = doc.getDocument().getModificationStamp();
} else {
modificationStamp = docRef.getFile().getModificationStamp();
}
After Change
if (!stack.isEmpty()) {
long modificationStamp;
Document doc = docRef.getDocument();
modificationStamp = doc != null ? doc.getModificationStamp() : docRef.getFile().getTimeStamp();
if (recentDocumentTimeStamp < modificationStamp) {
result = stack;
recentDocumentTimeStamp = modificationStamp;